Feeds to Scour
SubscribedAll
Scoured 144994 posts in 27.0 ms
Show HN: Btrc – I built a language with AI in a few weeknights that outputs C11
github.com·15h·
Discuss: Hacker News
🦀Rust
Securing RISC-V Third-Party IP: Enabling Comprehensive CWE-Based Assurance Across the Design Supply Chain
semiwiki.com·15h
🔐Capability Systems
One-Token Verification for Reasoning Correctness Estimation
arxiv.org·4h
🧮SMT Solvers
Beyond Try-Catch: Architecting a Production-Ready Error Handling System in Node.js
dev.to·20h·
Discuss: DEV
🛡️Error Handling
Refining Almost-Safe Value Functions on the Fly
arxiv.org·1d
λFunctional Programming
The Family Laptop Trap: Unmasking a Go-Based Crypto-Heist
infosecwriteups.com
·3h
🔓Binary Exploitation
The 185-Microsecond Type Hint
blog.sturdystatistics.com·11h·
Discuss: Lobsters, Hacker News, r/programming
🌊Glommio
freest-lang/freest: A programming language for safe concurrency powered by context-free session types.
github.com·1d
🧵Loom
State of Knuckledragger III: Kernel Changes, Symbolic Union, AI, and more
philipzucker.com·1d
🦀Rust
80386 Protected Mode deep dive
blog.adafruit.com·11h
🔐Hardware Security
Understanding SMF properties
davepacheco.net·11h
🛡️Memory Safety
Zig `hexagon-linux-none` target cross compilation
ziggit.dev·2h
⚡ZGC
Docker Scout vs Traditional Container Scanners: Why Context Beats CVE Noise
hackernoon.com·1d
📡SonarQube
🐥 Optimizing nested array operations in PHP: from O(3n) to O(n)
yellowduck.be·1d
🔄Salsa
New comment by saulhoward in "Ask HN: Who is hiring? (March 2026)"
xn--xp5a.anterior.app·5h·
Discuss: Hacker News
📦Nix Flakes
The Compiler Is the Most Dangerous Thing in Your ZK Stack
dev.to·1d·
Discuss: DEV
🎯Escape Analysis
Guidelines for Writing Cryptography Specifications
cfrg.github.io·9h·
Discuss: Hacker News
📦Protocol Buffers
Implementing constexpr parameters using C++26 reflection (kind of)
godbolt.org·3h·
Discuss: r/cpp
📦Serde
Extending Formal Verification to Sequential Circuits (U. of Bremen)
semiengineering.com·16h
✓Formal Verification
Verified Spec-Driven Development (VSDD)
gist.github.com·2d·
Discuss: Lobsters, Hacker News
🧪Jepsen Testing

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help